A continuación, presento las herramientas que se pretenden utilizar para el desarrollo.

\begin{enumerate}
 \item Lenguaje de programación C++. Lenguaje para el desarrollo de la aplicación.
 \item Librerías Qt \cite{Qt}. Para la interfaz gráfica de usuario. Esto es una motivación personal, pues quiero aprender a utilizar esta tecnología.
 \item Lenguaje MiniZinc \cite{MiniZincTutorial} como lenguaje de modelado de restricciones.
 \item Resolutor de restricciones Gecode \cite{Gecode}.
\end{enumerate}

